The Resolution Calculus
Alexander Leitsch
Hardback
Not Available
Communication Complexity and Parallel Computing
Juraj Hromkovic
Introduction to Circuit Complexity
Heribert Vollmer
Paperback
Introduction to Process Algebra
Wan Fokkink
Information and Randomness
Cristian Calude
Algorithmics for Hard Problems
Interactive Theorem Proving and Program Development
Yves Bertot and 1 more
The Parametric Lambda Calculus
S Ronchi Della Rocca and 1 more
Decision Procedures
Daniel Kroening and 1 more
Extremal Combinatorics
Stasys Jukna
Introduction to Concurrency Theory
Roberto Gorrieri and 1 more
Petri Net Synthesis
Eric Badouel and 2 more
Formal Methods for Software Engineering
Markus Roggenbach and 4 more
